Minor tidy.

Signed-off-by: Ewan Mellor <ewan@xensource.com>

diff --git a/tools/python/xen/xend/XendCheckpoint.py b/tools/python/xen/xend/XendCheckpoint.py
index b0e1536a6a736407d2310e4684766dcbbae24041..9c38fab5b1d3781eaf8d2732f96ab73e458231ae 100644 (file)
--- a/tools/python/xen/xend/XendCheckpoint.py
+++ b/tools/python/xen/xend/XendCheckpoint.py
@@ -158,12 +158,12 @@ def restore(fd):
                     m = re.match(r"^(store-mfn) (\d+)\n$", l)
                     if m:
                         if dominfo.store_channel:
-                            dominfo.setStoreRef(int(m.group(2)))
-                            if dominfo.store_mfn >= 0:
-                                IntroduceDomain(dominfo.getDomid(),
-                                                dominfo.store_mfn,
-                                                dominfo.store_channel.port1,
-                                                dominfo.getDomainPath())
+                            store_mfn = int(m.group(2))
+                            dominfo.setStoreRef(store_mfn)
+                            IntroduceDomain(dominfo.getDomid(),
+                                            store_mfn,
+                                            dominfo.store_channel.port1,
+                                            dominfo.getDomainPath())
                     m = re.match(r"^(console-mfn) (\d+)\n$", l)
                     if m:
                         dominfo.setConsoleRef(int(m.group(2)))